list{-}diff(${\it eq}$; ${\it as}$; ${\it bs}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$filter(($\lambda$$a$.$\neg_{b}$deq{-}member(${\it eq}$; $a$; ${\it bs}$)); ${\it as}$)